#include "include/user.h"
int plus2(int a){
    return a+2;
}
int main(void) {
    int a=3;
    int b = plus2(a);
    printf("the value of b is%d\n", b);
    exit(0);
}